621. The consistency of the axiom of choice and of the genralized continuum-hypothesis with the axioms of set theory
پدیدآورنده : Godel, Kurt
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematics-philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1968
622. The development of mathematical logic
پدیدآورنده : P. H. Nidditch
موضوع : Mathematics--Philosophy.,Logic, Symbolic and mathematical.
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
623. The elements of mathematical logic
پدیدآورنده : Rosenbloom, Paul C.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
BC
135
.
R55
624. The elements of mathematical logic
پدیدآورنده : Rosenbloom, Paul C
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
BC
135
.
R55
625. The essential Turing
پدیدآورنده : / edited by B. Jack Copeland
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Mathematics,Logic, Symbolic and mathematical,Enigma cipher system,Artificial intelligence,Turing, Alan Mathison, 1912-1954
رده :
QA7
.
T772
2004
626. The essential Turing
پدیدآورنده : / edited by B. Jack Copeland
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Mathematics,Logic, Symbolic and mathematical,Enigma cipher system,Artificial intelligence,Turing, Alan Mathison, 1912-1954
رده :
QA7
.
T772
2004
627. The essential Turing
پدیدآورنده : / edited by B. Jack Copeland
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Mathematics,Logic, Symbolic and mathematical,Enigma cipher system,Artificial intelligence,Turing, Alan Mathison, 1912-1954
رده :
QA7
.
T772
2004
628. The essential Turing
پدیدآورنده : / edited by B. Jack Copeland
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Mathematics,Logic, Symbolic and mathematical,Enigma cipher system,Artificial intelligence,Turing, Alan Mathison, 1912-1954
رده :
QA7
.
T772
2004
629. The essential Turing
پدیدآورنده : / edited by B. Jack Copeland
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Mathematics,Logic, Symbolic and mathematical,Enigma cipher system,Artificial intelligence,Turing, Alan Mathison, 1912-1954
رده :
QA7
.
T772
2004
630. The evolution of Principia mathematica : Bertrand Russell's manuscripts and notes for the second edition
پدیدآورنده : Linsky, Bernard
کتابخانه: (طهران)
موضوع : ، Russell, Bertrand, 2781-0791. Principles of mathematics,، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
R883L56
631. The foundations of mathematics
پدیدآورنده : Stewart, Ian.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
S755
1977
632. The foundations of mathematics
پدیدآورنده : Stewart, Ian.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and Mathematical
رده :
QA
9
.
S755
633. The foundations of mathematics and other logical essays
پدیدآورنده : Ramsey, Frank Plumpton
کتابخانه: (طهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
R23
634. The foundations of mathematics and other logical essays.
پدیدآورنده : Ramsey, Frank Plumpton
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Mathematics - Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
R3
635. The foundations of mathematics and other logical essays
پدیدآورنده : Ramsey, Frank Plumpton
کتابخانه: (طهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
R23
1960
636. The grammar of mathematic
پدیدآورنده : Durst, Lincoln K.,]by[ Lincoln K. Durst
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
D86
637. The grammar of mathematics
پدیدآورنده : Durst, Lincoln K
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
D86
638. The limits of science; outline of logic and of the methodology of the exact sciences.
پدیدآورنده : Chwistek, Leon
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Science - Methodology,، Mathematics - Philosophy,، Logic, Symbolic and mathematical
رده :
Q
175
.
C494
1948